- abstract problem instance
- конкретная реализация абстрактной задачи
English-Russian dictionary of computer science and programming. 2013.
abstract problem instance
Смотреть что такое "abstract problem instance" в других словарях:
Abstract rewriting system — In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviation ARS) is a formalism that captures the quintessential notion and properties of… … Wikipedia
Abstract interpretation — In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer… … Wikipedia
Problem of Hell — The problem of hell is an argument against the existence of God. It is a variant of the problem of evil, applying specifically to religions which hold both that:# An omnipotent (all powerful), omniscient (all knowing), and omnibenevolent (all… … Wikipedia
Circle-ellipse problem — The circle ellipse problem in software development (sometimes known as the square rectangle problem) illustrates a number of pitfalls which can arise when using subtype polymorphism in object modelling. The issues are most commonly encountered… … Wikipedia
Word problem for groups — In mathematics, especially in the area of abstract algebra known as combinatorial group theory, the word problem for a recursively presented group G is the algorithmic problem of deciding whether two words represent the same element. Although it… … Wikipedia
Transformation problem — In 20th century discussions of Karl Marx s economics the transformation problem is the problem of finding a general rule to transform the values of commodities (based on labour according to his labour theory of value) into the competitive prices… … Wikipedia
Gettier problem — A Gettier problem is a problem in modern epistemology issuing from counter examples to the definition of knowledge as justified true belief (JTB). The problem owes its name to a three page paper published in 1963, by Edmund Gettier, called Is… … Wikipedia
Chess problem — Part of a series on Puzzles … Wikipedia
Plato's Problem — is the term given by Noam Chomsky to the gap between knowledge and experience. It presents the question of how we account for our knowledge when environmental conditions seem to be an insufficient source of information. It is used in linguistics… … Wikipedia
Congruence lattice problem — In mathematics, the congruence lattice problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of some other lattice. The problem was posed by Robert P. Dilworth, and for many years it was one of the most … Wikipedia
Group isomorphism problem — In abstract algebra, the group isomorphism problem is the decision problem of determining whether two group presentations present isomorphic groups.The isomorphism problem was identified by Max Dehn in 1911 as one of three fundamental decision… … Wikipedia
